Program Transformation Using HATS 1.84
نویسندگان
چکیده
This article gives an overview of a transformation system called HATS – a freely available platform independent IDE facilitating experimentation in transformation-oriented software development. Examples are discussed highlighting how the transformational abstractions provided by HATS can be used to solve various problems.
منابع مشابه
Verifying Transformation Rules of the HATS High- Assurance Transformation System: An Approach
In high-consequence systems, there is a high cost associated with failure. Thus, there should be strong evidence that the systems will not fail in field. Such evidence cannot be obtained by traditional verification methods such as testing. Transformation-oriented programming (TOP) is a promising formal software development technique. In TOP, a source file that represents a correct formal specif...
متن کاملVerifying Transformation Rules of the HATS High- Assurance Transformation System: An Approach
In high-consequence systems, there is a high cost associated with failure. Thus, there should be strong evidence that the systems will not fail in the field. Such evidence cannot be obtained by traditional verification methods such as testing. Transformation-oriented programming (TOP) is a promising formal software development technique. In TOP, a source file that represents a correct formal sp...
متن کاملHATS: Highly Adaptable and Trustworthy Software using Formal Models
behavioral HATS ABS language Specification level Languages Figure 1: Positioning of the HATS ABS language.
متن کاملModelling Adaptable Distributed Object Oriented Systems Using the HATS Approach: A Fredhopper Case Study
The HATS project aims at developing a model-centric engineering methodology for the design, implementation and verification of distributed, concurrent and highly configurable systems. Such systems also have high demands on their dependability and trustworthiness. The HATS approach is centered around the Abstract Behavioural Specification modelling language (ABS) and its accompanying tools suite...
متن کاملCloaked electromagnetic, acoustic, and quantum amplifiers via transformation optics.
The advent of transformation optics and metamaterials has made possible devices producing extreme effects on wave propagation. Here we describe a class of invisible reservoirs and amplifiers for waves, which we refer to as Schrödinger hats. The unifying mathematical principle on which these are based admits such devices for any time harmonic waves modeled by either the Helmholtz or Schrödinger ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2005